does clear the "exact" bit of the result, which may suggest that what happened was perhaps not what you had intended. On the other hand, the result of
(gcd #e2.8e17 #e2.8e17)
(with the exact bits set on both arguments) does have its exact bit set, on the theory that you would not have set the exact bits on the arguments without reason.